Uppaal Model Checker - PDFSEARCH.IO - Document Search Engine

Uppaal Model Checker
Results: 34

#	Item
11	Providing Timing Computations for FUJABA∗ Tobias Eckardt, Christian Heinzemann Software Engineering Group, Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:47 Uppaal Model Checker Transmission Control Protocol Server Internet protocol suite Model checking DBm Client-side Computing Science Model checkers Clock Horology
12	Report for Phase 4, the final phase. Year Add to Reading List Source URL: www.astec.uu.se Language: English - Date: 2007-09-28 09:01:26 Model checking Erlang Australian Science Technology and Engineering Council Uppaal Model Checker Software testing Reliability engineering Software development process Science Software engineering Computing
13	FM 2014 Program Book Welcome Message from the Organising Committee Welcome to FM2014! Welcome to Singapore! This is the nineteenth in a series of symposia organised by Formal Methods Europe, this is its first time in As Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-08 02:42:02 Applied mathematics Logic in computer science Model checkers Model checking Formal verification Uppaal Model Checker Verification COM Path Systems engineering Formal methods Science
14	Overview Model Checking Approaches Algorithmic Verification Comp4151 Lecture 11-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:09 Uppaal Model Checker Finite-state machine Ansgar Clock Christianity Middle Ages Automata theory Model checkers Model checking
15	Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking∗ Gabor Madl1,2 Sherif Abdelwahed1 Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 11:23:37 Technology Embedded systems Electronics Scheduling algorithms DREAM Model checking Worst-case execution time Scheduling Uppaal Model Checker Computing Real-time computing Concurrent computing
16	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
17	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Models of computation Model checkers Esterel Automata theory Model checking SIGNAL Theoretical computer science Uppaal Model Checker Computing Hardware description languages Synchronous programming languages Software engineering
18	TIOA Model Checker User Guide and Reference Manual December 9, 2006 1 Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:58:18 Model checkers Model checking Uppaal Model Checker
19	TEMPO INSTALLATION v0.2.1 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Java platform Cross-platform software Java programming language Model checkers Uppaal Model Checker Java Windows Environment variable Path Computing Software System software
20	TEMPO INSTALLATION v0.1.4 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:00:12 Cross-platform software Microsoft Windows Java programming language Java Windows Uppaal Model Checker Path Environment variable JAR Computing Java platform Computing platforms